Skip to content

docs: nextgen-typing scoped Must/Intend/Wish table (completes the rollout)#67

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/practical-newton-9eFe2
Jun 21, 2026
Merged

docs: nextgen-typing scoped Must/Intend/Wish table (completes the rollout)#67
hyperpolymath merged 2 commits into
mainfrom
claude/practical-newton-9eFe2

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

What

Completes the 2026-06-19 estate rule for nextgen-typing — the type-theory coordination monorepo and home of the canonical AFFIRMATION exemplar (already at root in main). It only needed the missing piece: the scoped table.

  • Adds docs/identity-fabric/musts-intends-wishes.adoc off current main, cross-referencing the type-safety pipeline (tangle's Lean-checked core, AffineScript's affine types, echo-types' structured-loss reading) and the three coordination monorepos (typing / databases / languages).

Note

Based on current main. The prior feature-branch tip carried one unmerged commit — 1a0cd0d "standardize contact/attribution email"not carried here; that email (j.d.a.jewell@open.ac.uk) is already the canonical one across the estate, so it appears redundant. Flagged, not silently dropped (recoverable from reflog if it wasn't redundant).

Scope

Docs only — one new file. The root AFFIRMATION.adoc already in main is untouched.

🤖 Generated with Claude Code

https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2


Generated by Claude Code

Completes the 2026-06-19 estate rule for nextgen-typing - the type-theory
coordination monorepo and home of the canonical AFFIRMATION exemplar (already at
root in main). Adds docs/identity-fabric/musts-intends-wishes.adoc off current
main; cross-refs the type-safety pipeline (tangle, AffineScript, echo-types) and
the three coordination monorepos (typing/databases/languages).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017TXizM5c1Yd9HWf7Y15YH2
@hyperpolymath hyperpolymath marked this pull request as ready for review June 21, 2026 13:37
@hyperpolymath hyperpolymath merged commit 836aba8 into main Jun 21, 2026
19 of 21 checks passed
@hyperpolymath hyperpolymath deleted the claude/practical-newton-9eFe2 branch June 21, 2026 13:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants